写成向量形式即为
. 证毕.